//用来实现对应的systemcall
#include"types.h"
// #include"defs.h"
// #include"parama.h"
#include"proc.h"
// #include"stat.h"
#include"uart.h"
//实现串口写

int sys_write(uint64 fd, uint64 buf_addr, uint64 len){
    if (fd != 1) return -1;
    const char *buf = (const char *)buf_addr;
    //将用户态的字符串地址转换为内核可以访问的指针
    for (uint64 i = 0; i < len; ++i) {
        uart_putchar(buf[i]);
    }
    return len;
}
